1. Fundamentals of artificial intelligence research :
پدیدآورنده: Ph. Jorrand, J. Kelemen, (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence -- Congresses.,Artificial intelligence.
رده :
Q334
.
P456
1991


2. Intelligent information processing III
پدیدآورنده: Zhongzhi Shi, K. Shimohara, D. Feng (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Database management, Congresses.,Expert systems (Computer science), Congresses.

3. Logic Programming and Nonmonotonic Reasoning :
پدیدآورنده: edited by Marcello Balduccini, Yuliya Lierler, Stefan Woltran.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Logic programming, Congresses.,Nonmonotonic reasoning, Congresses.,Logic programming.,Nonmonotonic reasoning.
رده :
QA76
.
63
.
L64
2019


4. Modeling decisions for artificial intelligence :
پدیدآورنده: Vicenç Torra [and others].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence -- Mathematical models -- Congresses.,Artificial intelligence -- Mathematical models.,Informatique.

5. Paraconsistency :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Inconsistency (Logic) ; Congresses ;

6. Paraconsistency :
پدیدآورنده: edited by Walter A. Carnielli, Marcelo E. Coniglio, Itala M.L. D'Ottaviano.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Inconsistency (Logic), Congresses.,Inconsistency (Logic),PHILOSOPHY-- Logic.
رده :
BC199
.
I45
W67
2002eb


7. Paraconsistency
پدیدآورنده: / Koji Tanaka
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Inconsistency (Logic) -- Congresses,Science -- Philosophy -- Congresses,تناقض(منطق) - کنگره ها,علم - فلسفه - کنگره ها
رده :
BC199
.
T32
2013


8. Paraconsistency
پدیدآورنده: / edited by Walter A. Carnielli, Marcelo E. Coniglio, Itala M.L. D'Ottaviano
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Inconsistency (Logic)--Congresses
رده :
BC
,
199
,.
I45
,.
W67
,
2002


9. Paraconsistency : the logical way to the inconsistent : proceedings of the world congress held in Sao Paulo
پدیدآورنده: edited by Walter A. Carnielli, Marcelo E. Coniglio, Itala M. Loffredo D'Ottaviano
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Inconsistency )Logic(
رده :
BC
199
.
I45W6
2000


10. Scalable Uncertainty Management
پدیدآورنده: \ Christoph Beierle • Alex Dekhtyar (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Uncertainty (Information theory) -- Congresses,عدم قطعیت (نظریه اطلاعات)-- کنگره ها
رده :
Q
375
.
S8S28
2015
E-Book
,

